Petri-net Modeling of Container-port Work Flo
نویسندگان
چکیده
منابع مشابه
Petri Net Modeling for Parallel Bank ATM Systems
In this paper the real time operation of an automatic teller machine (ATM) is analyzed using aTimed Petri Net (TPN) model. In the modeling, the probability of arrivals, the speed andattentiveness of customers (clients) are taken to account. Different parameters are based onthe statistical data. The model is simulated for 24 hours. The diagrams of number ofsucceeded customers, failed references ...
متن کاملFormal approach on modeling and predicting of software system security: Stochastic petri net
To evaluate and predict component-based software security, a two-dimensional model of software security is proposed by Stochastic Petri Net in this paper. In this approach, the software security is modeled by graphical presentation ability of Petri nets, and the quantitative prediction is provided by the evaluation capability of Stochastic Petri Net and the computing power of Markov chain. Each...
متن کاملPetri Net Modeling of Irrigation Canal Networks
The paper describes a formal procedure to construct a Petri net model starting from the differential equations that describe the behavior of a canal network. In a first approach, the equations are discretized and the corresponding model takes the form of a deterministic timed Petri net. In a second approach, timed continuous Petri nets are used. The dynamic behavior of the system can be studied...
متن کاملReverse Petri Net Technology Transfer 32 A Petri Net Technique for Work
The housing management system project WIS of the company LION is one of the most successful practical applications of Petri net technology in the area of cooperating and distributed business process management. This system is based on the workkow management environment LEU and the FunSoft approach. FunSoft nets are very powerful in practice, but they are not well understood from a theoretical p...
متن کاملPort Automation: Modeling and Control of Container Cranes
The container crane is a key machine in ports. Over the past 15 years, modeling and control of quay cranes for automating ports has been the main research issue. In this paper, crane models and control methodologies appeared in the literature are reviewed. A generalized formulation of the most widely used crane model is introduced. Various control techniques are briefly discussed. In conclusion...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Information Technology Journal
سال: 2013
ISSN: 1812-5638
DOI: 10.3923/itj.2013.1845.1850